- 2 402 202 книги
- без регистрации
- бесплатно
#1
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Jose N. Oliveira, Pamela Zave
4.28 Mb
#2
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
a. c. (author) ; eriksson, l. h. (author) ; lindsay, p. a. (author) schrijver
4.50 Mb
#3
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
keijiro (editor) ; gnesi, stefania (editor) ; mandrioli, dion (editor) arakiКатегория: Компьютеры
6.54 Mb
#4
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Tiziana Margaria, Bernhard SteffenКатегория: Компьютеры
13.00 Mb
#5
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Tiziana Margaria, Bernhard Steffen
8.98 Mb
#6
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Tiziana Margaria, Bernhard Steffen
9.82 Mb
#7
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Tiziana Margaria, Bernhard Steffen
13.99 Mb
#8
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings
Margaria, Tiziana; Steffen, BernhardКатегория: Cs_Computer science, CsLn_Lecture notes
8.96 Mb
#9
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey ... Programming and Software Engineering)
Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine
5.55 Mb
#10
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
International Symposium of Formal Methods, Maurice Naftalin, Tim Denvir, Miquel Bertran
6.41 Mb
#11
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
James C.P. Woodcock, Peter G. Larsen
6.15 Mb
#12
FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ...
Marie-Claude Gaudel, James Woodcock
6.04 Mb
#13
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ...
John Fitzgerald, Cliff B. Jones, Peter Lucas
7.19 Mb
#14
FME 2001. Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings
Jose N. Oliveira, Pamela Zave
5.04 Mb
#15
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Lars-Henrik Eriksson, Peter A. Lindsay
5.34 Mb
#16
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Keijiro Araki, Stefania Gnesi, Dion Mandrioli
8.13 Mb
#17
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
5.44 Mb
#18
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... v. 1
Soren Prehn, Hans Toetenel
6.14 Mb
